Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming
نویسندگان
چکیده
منابع مشابه
On K-diagnosability of Petri nets via integer linear programming
This paper deals with the problem of diagnosability of a fault after the firing of a finite number events (i.e., K-diagnosability). This problemcorresponds to diagnosability of a faultwithin a finite delay in the context of discrete event systems. The main contribution of this paper is a necessary and sufficient condition for K-diagnosability of bounded nets. The proposed approach exploits the ...
متن کاملIncremental Integer Linear Programming Models for Petri Nets Reachability Problems
The operational management of complex systems is characterized, in general, by the existence of a huge number of solutions. Decision-making processes must be implemented in order to find the best results. These processes need suitable modeling tools offering true practical resolution perspectives. Among them, Petri nets (PNs) provide a simple graphical model taking into account, in the same for...
متن کاملFault Diagnosis Based on Bayesian Petri Nets
This paper provides a kind of Bayesian Petri net model and presents a fault diagnosis method for power grid based on this model. Firstly, the BPN models for each component are established in power cut area separately, according to the fault spread directions. Secondly, the failed component is determined by the application of Petri net reasoning and Bayesian probability calculation. At last, the...
متن کاملVerification of bounded Petri nets using integer programming
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings — themselves a class of acyclic Petri nets — which contain enough information, albeit implicit, to reason about the reachable markings of the original ...
متن کاملAn example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2017
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2017.08.2390